METHODOLOGICAL FOUNDATIONS OF CONSTRUCTIVE DRAWING
نویسندگان
چکیده
منابع مشابه
Constructive Foundations for Z
The speciication language Z is based on classical logic and extensional set theory. These are mathematical choices which are largely independent of Z and its calculus of schemata. This paper explores the possibilities of replacing classical logic with intuitionistic logic and extensional set theory with intensional set theory, and some of the consequences of these changes for principles of prog...
متن کاملFoundations of Euclidean Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid rathe...
متن کاملConstructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli and Longo in a predicative theory of types and names. Although this theory is prooftheoretically weak, it allows to prove many properties of programs written in Featherweight Java. This underpins Feferman’s thesis th...
متن کاملStream: Theoretical and Methodological Foundations
This paper addresses an important challenge for future earth system governance: how to ensure that governance norms that emerge from inter-state negotiations foster equity and sustainability at all levels from the local to the global. I look back on two decades of global climate change governance to clarify how norms can structure access to global public goods and the allocation of responsibili...
متن کاملMethodological foundations of multi-criteria decision making
This feature cluster of the European Journal of Operational Research is one of three special issues devoted to results from the Sixteenth International Conference on Multi-Criteria Decision Making held at Semmering, Austria, on February 18–22, 2002. The special issue of the Journal of MultiCriteria Decision Making edited by Matthias Ehrgott and Mikulas Luptacik will focus on application-oriente...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Moskow State Regional University
سال: 2015
ISSN: 2310-7219
DOI: 10.18384/2310-7219-2015-3-122-130